Object type - PDFSEARCH.IO - Document Search Engine

Object type
Results: 830

#	Item
321	Appendix A A-1 Appendix A Survey of Learning Resource Type Vocabularies (April 14, 2003) Add to Reading List Source URL: cancore.athabascau.ca Language: English - Date: 2004-04-27 12:32:57 Educational technology Data management Philosophy of education Standards-based education Learning object metadata Learning object E-learning Norm Friesen Inquiry-based learning Education Knowledge Educational psychology
322	History of Changes Table of contents 1 2 Add to Reading List Source URL: xerces.apache.org Language: English - Date: 2013-01-20 17:05:41 Application programming interfaces Markup languages Java API for XML Processing XML Java version history Document Type Definition JAR StAX Document Object Model Computing Software Java platform
323	Adding Wildcards to the Java Programming Language Mads Torgersen Christian Plesner Hansen Erik Ernst, and Peter von der Ahe´ University of Aarhus Add to Reading List Source URL: www.gafter.com Language: English - Date: 2004-01-14 14:05:32 Type theory Computer programming Polymorphism Data types Generic programming Covariance and contravariance Subtype polymorphism Parametric polymorphism Type system Software engineering Computing Object-oriented programming
324	Semantic subtyping for the π-calculus Giuseppe Castagna Rocco De Nicola ´ Ecole Normale Sup´erieure, Paris Universit`a di Firenze Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Mathematical logic Data types Object-oriented programming Polymorphism Lambda calculus Subtype polymorphism Type system Interpretation Generic programming Software engineering Type theory Theoretical computer science
325	Implementing Classes in 15 Minutes Jonathan Worthington Reflection Add to Reading List Source URL: www.jnthn.net Language: English - Date: 2014-10-21 09:51:15 Computing Stroopwafel Type introspection Reflection Metaobject Method Class Object-oriented programming Software engineering Computer programming
326	Perl versiondocumentation - mro NAME mro - Method Resolution Order SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 14:50:21 Computer programming C3 linearization Diamond problem Perl module Type introspection Perl 6 Multiple inheritance Perl C3 Software engineering Object-oriented programming Computing
327	Microsoft Word - omc-bootstrappingv14-final.doc Add to Reading List Source URL: www.ep.liu.se Language: English - Date: 2011-06-27 05:13:21 Procedural programming languages Functional languages Object-oriented programming Programming language implementation Cross-platform software Modelica Compiler GNU Compiler Collection Algebraic data type Software engineering Computing Computer programming
328	A Gentle Introduction to Semantic Subtyping Giuseppe Castagna CNRS ´ Ecole Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:26 Computing Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system Simply typed lambda calculus Denotational semantics Type theory Software engineering Theoretical computer science
329	Cycles without pollution: a gradual typing poem Sam Tobin-Hochstadt1 and Robert Bruce Findler2 1 2 Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Data types Functional programming Procedural programming languages Higher-order functions Type system ML Toro Rosso STR2 Immutable object Software engineering Computing Computer programming
330	Art and Language March 2015 Weak Compactness in Restricted Second,Order Languages and even to philosophy however for pure object types, these are the only possible cases; that is to say, we call an object type pure, if a Add to Reading List Source URL: artandlanguage.co.uk Language: English - Date: 2015-03-11 14:01:30 Ontology Kantianism Phenomenology Schema Philosophical realism Philosophical skepticism Being Idealism Edmund Husserl Philosophy Metaphysics Philosophical movements

UPDATE